aamath | | ASCII art mathematics |
abs | | Free spreadsheet with graphical user interface |
admesh | | Program for processing triangulated solid meshes |
algae | | Interpreted language for numerical analysis |
amath | | Simple command line calculator |
analitza | | KDE library for mathematical features |
antixls | | Print XLS file with minimal formatting, or as CSV |
aribas | | Multi-precision floating point and big integer arithmetic calculator |
armadillo | | C++ linear algebra library |
arpack-ng | | Library of subroutines to solve eigenvalue problems |
basic-stats | | Command-line tool to perform basic statistics on tabular data |
bc | | Arbitrary precision calculator language |
bc-gh | | Implementation of POSIX bc with GNU extensions |
bcal | | Storage and general-purpose calculator |
blas | | Basic Linear Algebra System (Netlib reference implementation) |
blas64 | | Reference Basic Linear Algebra System with 64 bit indices |
blitz++ | | C++ template class library providing array objects |
boolstuff | | Disjunctive Normal Form boolean expression C++ library |
calc | | Advanced Calculator for GNU Emacs |
calcoo | | Scientific calculator |
cantor | | KDE frontend to mathematical software |
capc-calc | | C arbitrary precision calculator |
cblas | | C interface to the reference BLAS library |
cblas64 | | C interface to the reference BLAS with 64 bit indices |
cgal | | Computational Geometry Algorithms Library |
clasp (V) | | Answer set solver for normal and disjunctive logic programs |
classias | | Collection of machine-learning algorithms for classification |
cln | | CLN Class Library for Numbers |
coinmp | | Linear Programming solver library |
congen | | Constants generator for tidal constituents |
crfsuite | | Fast implementation of Conditional Random Fields (CRFs) |
dcdflib.c | | Library of C Routines for Cumulative Distribution Functions |
dcdflib.f | | Library of Fortran Routines for Cumulative Distribution Functions |
dfftpack | | Double precision version of FFTPACK |
dieharder | | Random number generator test suite |
djbfft | | Extremely fast library for floating-point convolution |
djbsort | | Library for sorting arrays of integers |
double-conversion | | Conversion routines for IEEE doubles |
dragonbox | | Floating-point to binary-to-decimal conversion library |
eigen2 | | C++ template library for linear algebra |
eigen3 | | C++ template library for linear algebra |
eispack | | Fortran routines for the solution of eigenvalue problems |
elpa (V) | | Eigenvalue soLvers for Petaflop Applications |
erfa | | Essential Routines for Fundamental Astronomy |
ess | | Emacs Speaks Statistics |
eukleides | | Euclidean geometry drawing language |
eukleides10 | | Euclidean geometry drawing language |
euler | | Interactive numerical analysis and graphics program |
fast_float | | Number parsing library |
fftpack | | Single precision Fortran FFT subroutines |
ffts | | The Fastest Fourier Transform in the South |
fftw | | Fast C routines to compute DFTs (single and double precision) |
fftw-long | | Fast C routines to compute DFTs (long double precision) |
fftw-quad | | Fast C routines to compute DFTs (quad precision) |
fftw2 | | Collection of fast C routines to compute DFTs |
fgmp | | Minimalist free re-implementation of GNU multi-precision routines |
fitme | | CLI curve fitting tool |
fityk | | Peak fitting software |
flann-lib | | Fast Library for Approximate Nearest Neighbors |
four-bar-rs | | Simulator and synthesizing tool for four-bar linkage mechanism |
fplll | | Lattice algorithms using floating-point arithmetic |
fricas | | Fork of the Axiom computer algebra system |
fxrays (V) | | Computes extremal rays with filtering |
galculator | | Desktop calculator with scientific / RPN modes |
gap | | Computational group theory and discrete algebra language |
gappa | | Formal verification tool for numerical programs |
geg | | Program for drawing 2D math functions within a nice GUI |
genius | | Calculator and math tool |
glpk | | Library for solving linear programming problems |
gnome-calculator | | Desktop calculator for GNOME |
gnumeric112 | | Spreadsheet program from the GNOME project |
gp-autpgrp | | GAP package for finding automorphism groups of finite p-groups |
gp-factint | | Integer factorization routines for GAP |
gp-fplsa | | GAP interface to FPLSA |
gp-grape | | GRAPE (GRape Algorithms using PErmutation groups) |
gp-grpconst | | GAP package for finding isomorphism classes of finite groups |
gp-lag | | GAP Bracket Lie Algebra functions |
grace | | GRaphing, Advanced Computation and Exploration of data |
graphopt | | Optimize graph layouts |
grpn | | Graphical reverse polish notation (RPN) calculator |
gsl | | The GNU Scientific Library |
gtklife | | The game of life |
harmbase2 | | Harmonic constant management system |
harmgen | | Program to derive harmonic constants from water level observations |
harminv | | Solver of harmonic inversion |
heirloom-factor | | Collection of standard Unix utilities (factor) |
heirloom-units | | Collection of standard Unix utilities (units) |
hercules4sdl-decnumber | | The SoftDevLabs version of decNumber for Hercules 4.x |
hercules4sdl-softfloat | | The SoftDevLabs version of SoftFloat for Hercules 4.x |
herisvm | | svm-train wrapper running cross-validation in parallel |
hs-adjunctions | | Adjunctions and representable functors |
hs-algebraic-graphs | | Library for algebraic graph construction and transformation |
hs-bifunctors | | Bifunctors |
hs-commutative-semigroups | | Commutative semigroups |
hs-comonad | | Comonads, dual of Monads |
hs-contravariant | | Contravariant functors |
hs-dense-linear-algebra | | Simple and incomplete pure haskell implementation of linear algebra |
hs-digits | | Converts integers to lists of digits and back |
hs-distributive | | Haskell 98 Distributive functors -- Dual to Traversable |
hs-free | | Monads for free |
hs-ieee754 | | Utilities for dealing with IEEE floating point numbers |
hs-indexed-profunctors | | Utilities for indexed profunctors |
hs-integer-conversion | | Conversion from strings to Integer |
hs-integer-logarithms | | Integer logarithms |
hs-invariant | | Haskell98 invariant functors |
hs-kan-extensions | | Kan extensions/lifts, the Yoneda lemma, and (co)density (co)monads |
hs-math-functions | | Collection of tools for numeric computations |
hs-mod | | Fast type-safe modular arithmetic |
hs-monoid-subclasses | | Subclasses of Monoid |
hs-mwc-random | | Fast, high quality pseudo random number generation |
hs-nats | | Haskell 98 natural numbers |
hs-primes | | Efficient, purely functional generation of prime numbers |
hs-profunctors | | Profunctors |
hs-quote-quot | | Divide without division |
hs-scientific | | Numbers represented using scientific notation |
hs-semigroupoids | | Semigroupoids: Category sans id |
hs-semigroups | | Anything that associates |
hs-semirings | | Two monoids as one, in holy haskimony |
hs-statistics | | Library of statistical types, data, and functions |
imath | | 2D and 3D vector, matrix, and math operations for computer graphics |
ipopt | | Interior Point OPTimizer |
isl | | Integer set library required by gcc graphite |
itpp | | Library of mathematical, signal processing and communication routines |
kalgebra | | KDE graph calculator |
kalker | | CLI calculator supporting math-like syntax with user-defined variables |
kcalc | | KDE scientific calculator |
kissfft | | Simple mixed-radix Fast Fourier Transform |
lapack | | Linear Algebra PACKage (Netlib reference implementation) |
lapack64 | | Reference Linear Algebra PACKage with 64 bit indices |
lapacke | | C interface to the reference LAPACK library |
lapacke64 | | C interface to the reference LAPACK with 64 bit indices |
libffm | | Fast alpha-optimized replacement for some libm routines |
libfixmath | | Q16.16 format fixed point operations in C |
libint | | Efficient computation of quantum mechanical matrix elements over Gaussian basis sets |
libixion | | General purpose formula parser & interpreter |
liblbfgs | | Library of Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) |
liblinear | | Library for large linear classification |
libmatheval | | Library for evaluating mathematical expressions |
libnumbertext | | Convert to number names from numbers |
libquadmath | | GCC Quad-Precision Math Library |
libshorttext | | Library for short-text classification and analysis |
libsvm | | Library for Support Vector Machines |
linpack | | Library of linear algebra Fortran routines |
lp_solve | | Mixed Integer Linear Programming (MILP) solver |
ltm | | Number theoretic multiple-precision integer library |
lua-cassowary | | Constraint solver for Lua |
lumina-calculator | | Scientific calculator from the Lumina desktop |
mapm | | Arbitrary Precision Math library |
mathomatic | | Small portable symbolic math program |
maxima | | Computer algebra system |
mcsim | | Monte Carlo Simulation software |
meschach | | Library of C Routines for Matrix Computations |
metis | | Unstructured graph partitioning and sparse matrix ordering system |
mimetex (V) | | CGI to convert LaTeX math expression to GIF image |
minisat | | Minimalistic yet highly efficient SAT solver |
minpack | | FORTRAN 77 library for the solution of nonlinear equations |
mpc (V) | | MPFR-based library for complex floating-point with exact rounding |
mpcomplex | | Multiprecision complex arithmetic library |
mpdecimal | | C/C++ arbitrary precision decimal floating point libraries |
mpfi | | Multiprecision interval arithmetic library |
mpfr | | GMP-based library for multiple-precision floating-point computations |
mprime-bin | | Mersenne prime tester (binary) |
mtl | | Matrix Template Library |
muparser | | Parser for mathematical expressions |
newmat | | Newmat C++ Matrix Library |
nickle | | Desk calculator language |
nlopt | | Nonlinear optimization library |
ntl | | C++ library for doing number theory |
ocaml-num | | Library for arbitrary-precision arithmetic |
ocaml-zarith | | OCaml arithmetic library for arbitrary precision integers |
octave | | High-level language, intended for numerical computations |
odepack | | Systematized Collection of ODE Solvers |
openaxiom | | Platform for symbolic, algebraic, and numerical computations |
openblas | | Optimized BLAS library based on GotoBLAS2 (variant openblas) |
openblas_openmp | | Optimized BLAS library based on GotoBLAS2 (variant openblas_openmp) |
openblas_pthread | | Optimized BLAS library based on GotoBLAS2 (variant openblas_pthread) |
openblas64 | | Optimized BLAS library based on GotoBLAS2 (variant openblas64) |
openblas64_openmp | | Optimized BLAS library based on GotoBLAS2 (variant openblas64_openmp) |
openblas64_pthread | | Optimized BLAS library based on GotoBLAS2 (variant openblas64_pthread) |
openfst | | Library for manipulating transducers |
ordCalc | | Ordinal arithmetic calculator and research tool |
otter | | Automated Deduction System |
p5-Algorithm-BloomFilter | | Simple bloom filter data structure |
p5-Algorithm-Cluster | | Perl interface to the C Clustering Library |
p5-Algorithm-Munkres | | Munkres Assignment for square and rectangular matrices |
p5-Alien-GMP | | Alien package for the GNU Multiple Precision library |
p5-Bit-Vector-Minimal (V) | | Object-oriented wrapper around Perl's vec() |
p5-Excel-Template | | Perl module for templating Excel files |
p5-Excel-Template-Plus | | Extension to the Excel::Template module |
p5-Math-Base-Convert | | Very fast base to base conversion |
p5-Math-Base36 | | Perl 5 module to encode and decode base36 strings |
p5-Math-Base85 | | Perl extension for base 85 numbers, as referenced by RFC 1924 |
p5-Math-BaseCnv | | Fast functions to CoNVert between number Bases |
p5-Math-Bezier | | Perl module for the solution of Bezier curves |
p5-Math-BigInt | | Arbitrary size integer math perl package |
p5-Math-BigInt-GMP | | Perl module for arbitrary size integer math via the GMP library |
p5-Math-BigInt-Pari | | Perl5 library to use Math::Pari for Math::BigInt routines |
p5-Math-BigInteger | | Arbitrary length integer extension module for Perl |
p5-Math-Calc-Units | | Human-readable unit-aware calculator |
p5-Math-Derivative | | Numeric 1st and 2nd order differentiation |
p5-Math-FFT | | Perl module to calculate Fast Fourier Transforms |
p5-Math-FixedPrecision (V) | | Perl module that provides decimal math without floating point errors |
p5-Math-Gauss (V) | | Perl module for Gaussian probability distribution |
p5-Math-GMP | | Perl 5 module for high speed arbitrary size integer math |
p5-Math-Int128 | | Manipulate 128 bits integers in Perl |
p5-Math-Int64 | | Manipulate 64 bits integers in Perl |
p5-Math-Matrix | | Math::Matrix - Multiply and invert Matrices |
p5-Math-MatrixReal | | Perl module for performing operations on real matrices |
p5-Math-Pari | | Perl5 interface to the pari math library |
p5-Math-Permute-List | | Permute a list |
p5-Math-Prime-Util | | Perl5 utilities related to prime numbers |
p5-Math-Random | | Random number generators |
p5-Math-Random-ISAAC | | Perl interface to the ISAAC PRNG algorithm |
p5-Math-Random-ISAAC-XS | | C implementation of the ISAAC PRNG algorithm for Perl modules |
p5-Math-Random-MT | | The Mersenne Twister PRNG |
p5-Math-Random-MT-Auto | | Auto-seeded Mersenne Twister PRNGs |
p5-Math-Random-MT-Perl | | Pure Perl Mersenne Twister Random Number Generator |
p5-Math-Round | | Perl extension for rounding numbers |
p5-Math-Spline | | Cubic Spline Interpolation of data |
p5-Math-Utils | | Useful mathematical functions not in Perl |
p5-Math-VecStat | | Some basic numeric stats on vectors |
p5-Number-Compare | | Compiles a simple comparison to an anonymous subroutine |
p5-Number-Latin | | Perl module for lower/upper-latin numbering system |
p5-Number-Range | | Define ranges and test if number is in range |
p5-Number-Tolerant | | Perl5 module for tolerance ranges for inexact numbers |
p5-Number-WithError | | Numbers with error propagation and scientific rounding |
p5-PDL (V) | | PDL turns perl in to a free, array-oriented, numerical language |
p5-Roman | | Conversion of numeric notation between Roman and Arabic |
p5-Set-Crontab | | Perl module to parse crontab(5)-like lists of integers |
p5-Set-Infinite | | Perl module for sets of integers and objects |
p5-Spreadsheet-ParseExcel | | Perl module to get information from an Excel file |
p5-Spreadsheet-Read | | Perl 5 module to read the data from a spreadsheet |
p5-Spreadsheet-ReadSXC | | Perl 5 module to extract OpenOffice 1.x spreadsheet data |
p5-Spreadsheet-WriteExcel | | Create Excel data files |
p5-Spreadsheet-XLSX | | Perl 5 module to read MS Excel 2007 files |
p5-Statistics-Basic | | Collection of very basic statistics modules |
p5-Statistics-CaseResampling | | Efficient resampling and calculation of medians with confidence intervals |
p5-Statistics-Descriptive | | Perl module of basic descriptive statistical functions |
p5-Statistics-Distributions | | Perl module of computations with distributions |
p5-Statistics-TTest | | Perl module of confidence interval computation using T-Tests |
p5-Test-Number-Delta | | Compare the difference between numbers against a given tolerance |
pari | | Software package for computer-aided number theory |
pari-galdata | | Galois group data for pari |
pari-seadata | | Schoof/Atkins/Elkies data for pari |
pari-seadata-small | | Schoof/Atkins/Elkies data for pari |
pari23 | | Software package for computer-aided number theory (2.3 version) |
pcg | | Random number generator |
pear-Math_BigInteger | | Provides base-2, base-10, base-16, and base-256 numbers |
pear-Numbers_Roman | | Provides methods for converting to and from Roman Numerals |
pear-Numbers_Words | | Provides methods for spelling numerals in words |
pear-Spreadsheet_Excel_Writer (V) | | Package for generating Excel spreadsheets |
php-bcmath | | PHP extension for bc-style arbitrary precision math |
php-gmp (V) | | PHP extension for arbitrary precision math |
php-stats | | PHP extension for statistical computation |
plumed | | Molecular dynamics support library |
ppl | | The Parma Polyhedra Library |
prng | | Portable, high-performance ANSI-C pseudorandom number generators |
pspp | | Program for statistical analysis of sampled data |
py-aerocalc (V) | | Aeronautical Engineering Calculations |
py-aipy (V) | | Astronomical Interferometry in Python |
py-alg3dpy (V) | | 3D Algebra in Python |
py-algebraic (V) | | Algebraic modeling system for Python |
py-algopy (V) | | ALGOPY: Taylor Arithmetic Computation and Algorithmic Differentiation |
py-almost | | Python module to compare two numbers generously |
py-amply (V) | | Allows you to load and manipulate AMPL/GLPK data as Python |
py-anfft (V) | | FFT package for Python, based on FFTW |
py-annarchy (V) | | Artificial Neural Networks architect |
py-applpy (V) | | ApplPy is a computational probability package written in Python |
py-arrayfire (V) | | Python bindings for ArrayFire |
py-arviz | | Exploratory analysis of Bayesian models |
py-asdf | | Advanced Scientific Data Format |
py-asdf_astropy | | ASDF serialization support for astropy objects |
py-asdf_coordinates_schemas | | ASDF schemas for validating coordinates tags |
py-asdf_transform_schemas (V) | | ASDF schemas for validating transform tags |
py-asdf_wcs_schemas | | ASDF schemas for validating WCS tags |
py-asdf-standard | | ASDF Standard schemas |
py-asdf-transform-schemas | | ASDF schemas for transforms |
py-asteval | | Safe, minimalistic expression evaluator using ast module |
py-astlib (V) | | Set of python modules for producing simple plots, statistics |
py-astroalign (V) | | Python module for aligning astronomical images |
py-astroML | | Astropy affiliated module for machine learning and data mining |
py-astropy | | Python module for astronomical calculations and data analysis |
py-astropy-healpix (V) | | Hierarchical Equal Area isoLatitude Pixelisation |
py-astropy-iers-data | | IERS Earth Rotation and Leap Second tables for astropy |
py-astropy5 (V) | | Python module for astronomical calculations and data analysis |
py-astroscrappy (V) | | Astropy affiliated Python module for cosmic ray removal |
py-blaze (V) | | NumPy and Pandas interface to Big Data |
py-bottleneck | | Collection of fast NumPy array functions written in C |
py-brian (V) | | Simulator for spiking neural networks |
py-bxa (V) | | Bayesian X-ray spectral analysis |
py-c-lasso (V) | | Algorithms for constrained Lasso problems |
py-cbc (V) | | Gravitational wave CBC analysis toolkit |
py-ccdproc2 (V) | | Astropy coordinated package for CCD data recution in astronomy |
py-cdecimal | | Arbitrary precision decimal floating point arithmetic |
py-cf-python (V) | | Python interface to the CF data model |
py-chainer (V) | | Flexible framework of neural networks |
py-chaospy (V) | | Numerical tool for perfroming uncertainty quantification |
py-chebpy (V) | | Chebyshev polynomial based spectral methods of PDEs |
py-checkmate (V) | | Tool to easily test simulated event files against LHC results |
py-chompack (V) | | Library for chordal matrix computations |
py-chspy (V) | | Cubic Hermite splines |
py-claripy | | Abstraction layer for constraint solvers |
py-clnum (V) | | Rational and arbitrary precision floating point numbers |
py-cm (V) | | Multi-class confusion matrix library in Python |
py-cma (V) | | Covariance Matrix Adaptation Evolution Strategy for non-linear |
py-colormath | | Module that spares the user from directly dealing with color math |
py-constructive-geometries (V) | | Simple tools to define world locations from a set of topological faces and set algebra |
py-continuum-mechanics (V) | | Utilities for doing calculations in continuum mechanics |
py-control (V) | | Python Control Systems Library |
py-corrfitter (V) | | Utilities for fitting correlators in lattice QCD |
py-cosmoTransitions (V) | | Zero-temperature cosmological phase transitions |
py-csa (V) | | The Connection-Set Algebra implemented in Python |
py-cvxpy (V) | | Python software for convex optimization |
py-cxnet (V) | | Complex networks in education |
py-cxvpy (V) | | DSL for modeling convex optimization problems in Python |
py-cythongsl (V) | | Cython declarations for the Gnu Scientific Library |
py-da (V) | | Pyda is a general object-oriented data assimilation package |
py-dana (V) | | Framework for distributed, asynchronous and adaptive computing |
py-dask (V) | | Flexible parallel computing library for analytics |
py-dask_expr (V) | | Query Optimizer for the Dask Dataframes |
py-dclab (V) | | Data analysis for real-time deformability cytometry |
py-debacl (V) | | Density-Based Clustering |
py-decimalfp (V) | | Decimal fixed-point arithmetic |
py-decimalpy (V) | | Decimal based version of numpy |
py-delay (V) | | Python tool for solving delay differential equations |
py-delny (V) | | Python module for delaunay triangulation |
py-deltasigma (V) | | Scale and map to implementable topologies delta sigma modulators |
py-descartes (V) | | Use geometric objects as matplotlib paths and patches |
py-diffeqpy (V) | | Solving Differential Equations in Python |
py-digraphtools (V) | | Python library for working with directed acyclic graphs |
py-dimarray (V) | | Numpy array with labelled dimensions and axes, dimension |
py-distributed (V) | | Distributed is the parallel scheduler for dask |
py-dit (V) | | Python package for information theory |
py-django-mathjax (V) | | MathJax easy integration with django |
py-django-sympycharfield (V) | | Django Char Field using Sympy |
py-docplex (V) | | The IBM Decision Optimization CPLEX Modeling for Python |
py-dubins (V) | | Code to generate and manipulate dubins curves |
py-easymodeler (V) | | Simple ODE Tools for Modelers |
py-ecspy (V) | | Framework for creating evolutionary computations in Python |
py-efmlrs (V) | | Extracts EFMs from result file of mplrs and decompresses EFMs |
py-eigency (V) | | Cython interface between the numpy arrays and the Matrix/Array |
py-einsteinpy (V) | | Python package for General Relativity |
py-einsteinpy-geodesics (V) | | Julia solver for geodesics in the Kerr family of spacetimes |
py-emmsa (V) | | Multivariate Statistical Analysis for Electron Microscopy Data |
py-EMpy (V) | | Suite of numerical algorithms widely used in electromagnetism |
py-ephem | | Scientific-grade astronomical computations for Python |
py-epipy (V) | | Python tools for epidemiology |
py-fanova (V) | | Functional ANOVA |
py-fermilab (V) | | Analyzing, compiling and emulating quantum algorithm for fermions |
py-flipper (V) | | Manipulating curves and measured laminations on surfaces |
py-fluiddyn (V) | | Framework for studying fluid dynamics. |
py-fluids (V) | | Fluid dynamics component of Chemical Engineering Design Library |
py-fnss (V) | | Fast creation and configuration of topologies, traffic matrices |
py-fpconst | | IEEE 754 floating point special handling for Python |
py-fssa (V) | | Package for finite-size scaling analysis at phase transitions |
py-fwarp (V) | | Tool to wrap Fortran 77/90/95 code in C, Cython & Python |
py-galgebra (V) | | Symbolic Geometric Algebra/Calculus package for SymPy |
py-game-geometry (V) | | Geometry environment for pygame |
py-gammafit (V) | | Derivation of non-thermal particle distributions MCMC spectraly |
py-gato (V) | | Python-based toolbox to visualise algorithms on graphs |
py-gdxcc (V) | | Python library to access and modify gdx files |
py-geom (V) | | Basic Vector Geometry Package for Python |
py-geopy (V) | | Python Geocoding Toolbox |
py-ginga (V) | | Astronomical image viewer and toolkit |
py-gmpy2 | | Interface to GMP/MPIR, MPFR, and MPC for Python |
py-gom (V) | | ODE modeling in Python |
py-goreutilities (V) | | Some utility functions useful for GoreLab members |
py-gosam (V) | | Automated One-Loop matrix element generator |
py-gotran (V) | | Declarative language describing ordinary differential equations |
py-goulib (V) | | Library of useful Python code for scientific + technical applications |
py-griddata (V) | | Interpolate irregularly spaced data to a grid |
py-grpy (V) | | Small GR-oriented package which uses sympy |
py-gts (V) | | Python bindings for GNU Triangulated Surface Library |
py-gvar (V) | | Utilities for manipulating Gaussian random variables |
py-gwcs | | Generalized World Coordinate System |
py-hal-cgp (V) | | Cartesian Genetic Programming in pure Python |
py-halp (V) | | Hypergraph Algorithms Package |
py-hamilton (V) | | Visualize and control mechanic systems through solving these systems |
py-happy-control (V) | | Nonlinear Algebraic Approximation in Control systems |
py-hatchet (V) | | Python library for analyzing hierarchical performance data |
py-hcluster (V) | | Hierarchical Clustering Package For Scipy |
py-hessianfree (V) | | Hessian-free optimization for deep networks |
py-hiphive (V) | | High-order force constants for the masses |
py-hmf (V) | | Halo mass function calculator |
py-hmmlearn | | Algorithms for inference of Hidden Markov Models |
py-hyperbolic (V) | | Python library for generating hyperbolic geometry |
py-hyperspy (V) | | Multidimensional data analysis toolbox |
py-icane (V) | | Python wrapper for ICANE Statistical Data and Metadata API |
py-igraph (V) | | Manipulating Undirected and Directed Graphs for Python |
py-imexam (V) | | Python module for astronomical image examination |
py-imreg-dft (V) | | Image registration utility using discrete Fourier transform |
py-infinity | | All-in-one infinity value for Python |
py-intervals | | Tools for handling intervals (ranges of comparable objects) |
py-irco (V) | | International Research Collaboration Graphs |
py-jbessel (V) | | Bessel functions of the first kind written in Cython |
py-jelly (V) | | Abstraction layer for running numerical hydrodynamics software |
py-jitcdde (V) | | Just-in-Time Compilation for Delay Differential Equations |
py-jitcxde-common (V) | | Common code for JiTC*DE |
py-jplephem | | Python module to load a JPL ephemeris for dynamical calculations |
py-kabuki (V) | | Easy creation of hierarchical bayesian models |
py-kenv (V) | | Solver of the Kapchinsky-Vladimirsky envelope equation |
py-Keras-Applications | | Reference implementations of popular deep learning models |
py-Keras-Preprocessing | | Data preprocessing and augmentation for deep learning models |
py-kineticlib (V) | | Library for kinetic theory calculations in the multi-temperature |
py-kiwisolver | | Fast implementation of the Cassowary constraint solver |
py-krylov (V) | | Python package implementing common Krylov methods |
py-krypy (V) | | Krylov subspace methods for linear systems |
py-larry (V) | | Label the rows, columns, any dimension, of your NumPy arrays |
py-lbmpy (V) | | Code Generation for Lattice Boltzmann Methods |
py-lds (V) | | Learning and inference for Gaussian linear dynamical systems |
py-lea (V) | | Discrete probability distributions in Python |
py-lemma (V) | | Mathematical notation for executable and testable Python |
py-lempel-Ziv_Complexity (V) | | Lempel-Ziv complexity for a binary sequence, in naive Python code |
py-libixion | | General purpose formula parser & interpreter |
py-lifelines (V) | | Including Kaplan Meier, Nelson Aalen and regression |
py-linop (V) | | Pythonic abstraction for linear mathematical operators |
py-lmfit | | Least-squares minimization with bounds and constraints |
py-louvain (V) | | Methods of community detection in large networks |
py-lsqfit (V) | | Utilities for nonlinear least-squares fits |
py-math-braid (V) | | Pure python braid group implementation based on sympy |
py-math-snappy (V) | | Program for studying the topology and geometry of 3-manifolds |
py-math3d (V) | | 3D Special Euclidean mathematics package for Python |
py-mathjspy (V) | | Evaluate mathematical expressions in the same manner as MathJS |
py-mathopt (V) | | Optimize mathematical formulas for speed with SymPy |
py-mathpad (V) | | Interface to Sympy for solving physics, engineering and maths problems |
py-mave (V) | | Library for Measurement and Verification |
py-mcerp (V) | | Real-time latin-hypercube-sampling-based Monte Carlo Error Propagation |
py-mcint (V) | | Simple tool to perform numerical integration using MC techniques |
py-mcview (V) | | 3D/graph event viewer for high-energy physics event simulations |
py-mdp (V) | | Modular toolkit for data processing |
py-mpi4y-fft (V) | | Parallel Fast Fourier Transforms (FFTs) using MPI for Python |
py-mpmath | | Python library for arbitrary-precision FP arithmetic |
py-mpop (V) | | Meteorological post processing package |
py-msdas (V) | | Mass Spectrometry analysis |
py-msumastro (V) | | Process FITS files |
py-multivar-horner (V) | | Multivariate Horner scheme for evaluating multivariate polynomials |
py-munkres | | Munkres algorithm for the Assignment Problem |
py-myfitter (V) | | Maximum Likelihood Fits in Python |
py-mystic (V) | | Constrained non-convex optimization and uncertainty quantification |
py-ncomb (V) | | Python combinatorics library |
py-ncpol2sdpa (V) | | Converter from noncommutative variables to sparse SDPA |
py-netCDF4 | | Object-oriented python interface to netCDF version 4 |
py-networkx | | Python package for creating and manipulating graphs and networks |
py-neumann (V) | | Python Library for Applied Mathematics in Physical Sciences |
py-neurolab (V) | | Simple and powerfull neural network library for python |
py-nfg (V) | | Python package for implementing and solving Network form games |
py-nimfa (V) | | Python Library for Nonnegative Matrix Factorization Techniques |
py-nodepy (V) | | Numerical ODE solvers in Python |
py-noise | | Perlin noise for Python |
py-nphelper (V) | | Convenient numpy helper functions |
py-nptdms (V) | | NumPy based module for reading TDMS files produced by LabView |
py-nptyping | | Type hints for NumPy |
py-nsim (V) | | Simulate systems from ODEs or SDEs, analyze time series |
py-numba | | NumPy aware dynamic Python compiler using LLVM |
py-numdifftools (V) | | Solves automatic numerical differentiation problems |
py-numexpr | | Numerical expression evaluator for NumPy |
py-numpoly (V) | | Polynomials as a numpy datatype |
py-numpy | | Array processing for numbers, strings, records, and objects |
py-numpy-quaternion (V) | | Add a quaternion dtype to NumPy |
py-numpydoc (V) | | Sphinx extension to support docstrings in Numpy format |
py-nzmath (V) | | Number theory oriented calculation system |
py-odeint (V) | | Python binding for odeint from boost |
py-openai (V) | | OpenAI Python Library |
py-openopt (V) | | Python module for numerical optimization |
py-opentmm (V) | | OpenTMM is an object-oriented electrodynamic S-matrix |
py-optlang (V) | | Formulate optimization problems and solve using SymPy |
py-ortho (V) | | Generate orthogonal set of functions |
py-OT (V) | | Python Optimal Transport Library |
py-pandas | | Python Data Analysis Library |
py-pandas-datareader | | Remote data access for pandas |
py-pandera (V) | | Flexible validation package for pandas data structures |
py-parakeet (V) | | Runtime compiler for numerical Python |
py-patsy | | Python package for describing statistical models |
py-pebl (V) | | Python Environment for Bayesian Learning |
py-pennyLane-PQ (V) | | PennyLane plugin for ProjectQ |
py-photutils | | Astropy coordinated module for astronomical photometry |
py-pint (V) | | Physical quantities module |
py-poisson-approval (V) | | Poisson Approval studies the Poisson Game of Approval Voting |
py-poissongeometry (V) | | Local Poisson-Nijenhuis calculus on Poisson manifolds |
py-polynomial (V) | | Package defining mathematical single-variable polynomials |
py-poppy (V) | | Physical optics propagation for optical simulations |
py-powerlaw | | Toolbox for analysis of heavy-tailed distributions |
py-ppscore (V) | | Python implementation of the Predictive Power Score |
py-pulp (V) | | PuLP is an LP modeler written in python |
py-pyamg (V) | | Algebraic multigrid solvers in Python |
py-pydy (V) | | Python tool kit for multi-body dynamics |
py-pyerfa | | Python wrapper for ERFA library |
py-pyflation (V) | | Calculating cosmological perturbations during an inflationary |
py-pykit-shared (V) | | Collection of modules shared amongst my other projects |
py-pylith (V) | | Finite element code for solving dynamic and quasi-static tectonic deformation problems |
py-pymc3 | | Bayesian modeling and probabilistic machine learning |
py-pyomo (V) | | OO algebraic modeling language in Python for structured optimization |
py-pyrr (V) | | 3D mathematical functions using NumPy |
py-pysal (V) | | Python Spatial Analysis Library |
py-pyslha (V) | | Parsing, manipulating and visualising SUSY Les Houches Accord data |
py-pythran | | Ahead of Time compiler for numeric kernels |
py-pywavelets | | Discrete Wavelet Transforms in Python |
py-qclib (V) | | Quantum computing library using qiskit |
py-qcodes (V) | | Python-based data acquisition framework |
py-qiskit (V) | | Software for developing quantum computing programs |
py-qiskit-aqua (V) | | Qiskit Aqua: An extensible library of quantum computing algorithms |
py-qiskit-ignis (V) | | Qiskit tools for quantum information science |
py-qiskit-terra (V) | | Software for developing quantum computing programs |
py-qmath (V) | | Provides a class for deal with quaternion algebra and 3D rotation |
py-qrng (V) | | Quantum Random Number Generator using IBM's Qiskit |
py-qtt (V) | | Python-based framework for analysis and tuning of quantum dots |
py-quadprog | | Solver for a strictly convex quadratic program |
py-quantities (V) | | Support for physical quantities with units, based on numpy |
py-quantum-simba (V) | | Systematic Inference of Bosonic quAntum systems |
py-quantuminspire (V) | | SDK for the Quantum Inspire platform |
py-quaternionarray (V) | | Python package for fast quaternion arrays math |
py-quaternionic (V) | | Interpret numpy arrays as quaternionic arrays with numba acceleration |
py-qubovert (V) | | Formulating, simulating,and solving problems in boolean and spin |
py-quhep (V) | | Quantum Machine Learning Framework for High Energy Physics |
py-qupulse (V) | | Quantum compUting PULse parametrization and SEquencing framework |
py-qutip (V) | | Quantum Toolbox in Python |
py-rasterio (V) | | Fast and direct raster I/O for Python programmers who use Numpy |
py-realalg (V) | | For manipulating real algebraic numbers |
py-rebound3 (V) | | Open-source multi-purpose N-body code |
py-reproject (V) | | Astropy affiliated package for reprojection of astronomical images |
py-resonance (V) | | Learning mechanical vibrations through computation |
py-riccipy (V) | | Tensor algebra calculator for General Relativity |
py-rigidbodysimulator (V) | | Rigidbodysimulator simulator |
py-rogues (V) | | Python and numpy port of Nicholas Higham's m*lab test matrices |
py-roman | | Integer to Roman numerals converter for Python |
py-rpy | | R interface for Python |
py-ruffus (V) | | Lightweight python module to run computational pipelines |
py-scikit-glpk (V) | | Python linprog interface for GLPK |
py-scikit-image | | Image processing routines for SciPy |
py-scikit-learn | | Machine learning algorithms for Python |
py-scikits_optimization (V) | | Python module for numerical optimization |
py-scikits_talkbox (V) | | Talkbox, a set of python modules for speech/signal processing |
py-scikits_timeseries (V) | | Time series manipulation |
py-scikits_vectorplot (V) | | Vector fields plotting algorithms |
py-scikits-bvp_solver (V) | | Python package for solving two-point boundary value problems |
py-scimath (V) | | Scientific and Mathematical calculations |
py-scipy | | Scientific Algorithms Library for Python |
py-scs (V) | | Scs: splittling cone solver |
py-sdt_metrics (V) | | Signal Detection Theory (SDT) metrics for Python |
py-seeds (V) | | Stochastic Ecological and Evolutionary Dynamics System |
py-semopy (V) | | Structural Equation Modeling Optimization in Python |
py-sempy (V) | | Python implementation of the spectral element method |
py-sfepy (V) | | Simple finite elements in Python |
py-sfg (V) | | Python package for symbolic signal flow graph analysis |
py-shapely (V) | | Geometric objects, predicates, and operations |
py-simpleeval | | Simple, safe single expression evaluator library |
py-simpy (V) | | Discrete event simulation framework |
py-simulators (V) | | Tools to build an instrument model |
py-sklearn-pandas | | Pandas integration with sklearn |
py-smt | | Library for SMT formula manipulation and solving |
py-solpy (V) | | Solar Performance and Design library |
py-speview (V) | | Program to display binary SPE files containing Raman spectra |
py-spfpm (V) | | Tools for arithmetic on fixed-point (binary) numbers |
py-spherical (V) | | Evaluate and transform D matrices 3-j symbols, and spherical harmonics |
py-sphviewer (V) | | Framework for rendering particle simulations |
py-squarify (V) | | Pure Python implementation of the squarify treemap layout algorithm |
py-stats-arrays (V) | | Standard NumPy array interface for defining uncertain parameters |
py-statsmodels | | Statistical computations and models for Python |
py-sunpy (V) | | Python for Solar Physicists |
py-sv-geometry (V) | | Functions for bidimensional and tridimensional arithmetic geometry |
py-sym2num (V) | | Sympy to numpy code generator |
py-symbolic-equation (V) | | Class for multiline symbolic equations in the Jupyter Notebook |
py-symEnergy (V) | | Lagrange multiplier based energy market toy modeling framework |
py-symlens (V) | | Symbolic Mode Coupling |
py-sympad (V) | | Graphical symbolic math calculator / scratchpad using SymPy |
py-symphysics (V) | | The symphysics library for creating physics simulations using python and sympy |
py-sympy | | Python library for symbolic mathematics |
py-sympy2c (V) | | Sympy to c compiler including solving odes at c level |
py-sympycore (V) | | SympyCore an efficient pure Python Computer Algebra System |
py-t3m (V) | | Tinker toys for topologists |
py-tables | | Database package for large amounts of data |
py-talk2stat (V) | | Python package to communicate with statistical software |
py-teafiles (V) | | Time Series storage in flat files |
py-tensorboard | | Web applications for inspecting TensorFlow runs and graphs |
py-theano-pymc | | Optimizing compiler for evaluating mathematical expressions |
py-tinyarray (V) | | Arrays of numbers for Python, optimized for small sizes |
py-tinygrad (V) | | Something between PyTorch and karpathy/micrograd |
py-toleranceinterval (V) | | Library for one-sided bounds and two-sided tolerance intervals |
py-traces (V) | | Library for unevenly-spaced time series analysis |
py-uncertainties | | Transparent calculations with uncertainties on the quantities involved |
py-utilib_common (V) | | Commonly used PyUtilib data and methods |
py-utilib_component_app (V) | | Application interface for the PyUtilib Component Architecture |
py-utilib_component_config (V) | | Extensions for configuring components in PyUtilib |
py-utilib_component_loader (V) | | PyUtilib plugins for loading external packages |
py-utilib_enum (V) | | Variant of the 'enum' package that supports pickling |
py-utilib_math (V) | | PyUtilib math utilities |
py-vespa (V) | | Calculate astrophysical false positive probabilities |
py-wafo (V) | | Statistical analysis and simulation of random waves and random loads |
py-wasserplan (V) | | 1-Wasserstein distances between districting plans |
py-xarray | | N-D labeled arrays and datasets in Python |
py-xarray-einstats | | Stats, linear algebra and einops for xarray |
py-xcal-raman (V) | | Module for x-axis calibration of Raman spectrometers |
py-xgboost | | XGBoost Python Package |
py-z3 | | Efficient SMT solver library |
qalculate | | Modern multi-purpose desktop calculator (console version) |
qalculate-gtk | | Modern multi-purpose desktop calculator (GTK version) |
qcalc | | Terminal GUI calculator |
qhull | | Computing the convex hull |
qrupdate | | Library for fast updating of QR and Cholesky decompositions |
quadpack | | Fortran subroutines for the solution of definite univariate integrals |
QXlsx | | Excel file reader/writer library using Qt |
R | | Statistical language for data analysis and graphics |
R-abind | | Combine multi-dimensional arrays |
R-acepack | | ACE and AVAS for selecting multiple regression transformations |
R-akima | | Interpolation of irregularly and regularly spaced data |
R-aplpack | | Functions for drawing special plots |
R-argon2 (V) | | Secure Password Hashing |
R-arrow (V) | | Integration to 'Apache' 'Arrow' |
R-askpass (V) | | Safe password entry for R, Git, and SSH |
R-assertthat (V) | | Easy pre and post assertions |
R-backports | | Reimplementations of functions introduced since R-3.0.0 |
R-base64enc (V) | | Tools for base64 encoding |
R-bayesm (V) | | Bayesian inference for marketing/micro-econometrics |
R-bbmle | | Tools for general maximum likelihood estimation |
R-bdsmatrix | | Routines for Block Diagonal Symmetric Matrices |
R-bench (V) | | High Precision Timing of R Expressions |
R-BH (V) | | Boost C++ header files |
R-biganalytics (V) | | Library of utilities for big.matrix objects of package bigmemory |
R-biglm (V) | | Bounded Memory Linear and Generalized Linear Models |
R-bigmemory (V) | | Manage massive matrices with shared memory and memory-mapped files |
R-bigmemory.sri (V) | | Shared resource interface for Bigmemory Project packages |
R-bigtabulate (V) | | R table, tapply, and split-like functionality for (big.)matrix objects |
R-bindr (V) | | Parametrized active bindings |
R-BiocGenerics (V) | | Generic functions for Bioconductor |
R-bit (V) | | Class for vectors of 1-bit booleans |
R-bit64 (V) | | S3 class for vectors of 64-bit integers |
R-bitops | | Functions for bitwise operations on integer vectors |
R-blob (V) | | Simple S3 class for representing vectors of binary data ('BLOBS') |
R-bnlearn (V) | | Bayesian network structure learning, parameter learning and inference |
R-brew (V) | | Templating framework for report generation |
R-brio (V) | | Basic R Input Output |
R-broom | | Convert Statistical Objects into Tidy Tibbles |
R-brotli (V) | | Compression Format Optimized for the Web |
R-bslib (V) | | Custom 'Bootstrap' 'Sass' Themes for 'shiny' and 'rmarkdown' |
R-C50 (V) | | C5.0 decision trees and rule-based models |
R-cachem (V) | | Cache R Objects with Automatic Pruning |
R-Cairo (V) | | R graphics device using cairo graphics library |
R-callr (V) | | Call R from R |
R-car | | Companion to 'Applied Regression' |
R-carData | | Companion to 'Applied Regression' data sets |
R-cartography (V) | | Thematic Cartography |
R-caTools (V) | | Tools: Moving Window Statistics, GIF, Base64, ROC AUC, etc |
R-CGIwithR | | Facilities for the use of R to write CGI scripts |
R-checkmate (V) | | Fast and versatile argument checks |
R-chemometrics | | Multivariate Statistical Analysis in Chemometrics |
R-chron | | Chronological objects which can handle dates and times |
R-circular | | Circular statistics |
R-classInt | | Choose univariate class intervals |
R-cli (V) | | Helpers for developing command line interfaces |
R-cliapp (V) | | Create Rich Command Line Applications |
R-clipr (V) | | Read and write from the system clipboard |
R-clisymbols (V) | | Unicode symbols at the R prompt |
R-coda | | Output analysis and diagnostics for MCMC |
R-colorspace (V) | | Toolbox for manipulating and assessing colors and palettes |
R-colourpicker (V) | | Colour picker tool for Shiny and for selecting colours in plots |
R-combinat | | Combinatorics utilities |
R-commonmark (V) | | High performance commonmark and Github Markdown rendering in R |
R-compositions | | Compositional data analysis |
R-CompQuadForm | | Distribution Function of Quadratic Forms in Normal Variables |
R-conditionz (V) | | Control how many times conditions are thrown |
R-conflicted | | Alternative Conflict Resolution Strategy |
R-covr (V) | | Test Coverage for Packages |
R-cowplot (V) | | Streamlined Plot Theme and Plot Annotations for 'ggplot2' |
R-cpp11 (V) | | C++11 Interface for R's C Interface |
R-crayon (V) | | Colored terminal output |
R-credentials (V) | | Tools for Managing SSH and Git Credentials |
R-crosstalk (V) | | Inter-Widget Interactivity for HTML Widgets |
R-crsmeta (V) | | Extract Coordinate System Metadata |
R-crul (V) | | HTTP client |
R-cubature (V) | | Adaptive Multivariate Integration over Hypercubes |
R-curl (V) | | Modern and flexible web client for R |
R-cyclocomp (V) | | Cyclomatic Complexity of R Code |
R-DAAG | | Data analysis and graphics data and functions |
R-data.table (V) | | Extension of 'data.frame' |
R-date | | Functions for handling dates |
R-DBI | | R database interface |
R-dbplyr (V) | | Database backend for dplyr |
R-debugme (V) | | Debug R Packages |
R-deldir (V) | | Delaunay Triangulation and Dirichlet (Voronoi) Tessellation |
R-DEoptimR | | Differential evolution optimization in pure R |
R-Deriv | | Symbolic Differentiation |
R-desc (V) | | Manipulate DESCRIPTION files |
R-devtools (V) | | Tools to make developing R packages easier |
R-dichromat (V) | | Color schemes for dichromats |
R-diffobj (V) | | Diffs for R Objects |
R-diffr (V) | | Display Differences Between Two Files using Codediff Library |
R-diffviewer (V) | | HTML Widget to Show File Differences |
R-disposables (V) | | Create Disposable R Packages for Testing |
R-doBy | | Groupwise Statistics, LSmeans, Linear Estimates, Utilities |
R-doParallel (V) | | Foreach Parallel Adaptor for the 'parallel' Package |
R-downlit (V) | | Syntax Highlighting and Automatic Linking |
R-dplyr | | Grammar of data manipulation |
R-DT (V) | | Wrapper of the JavaScript Library 'DataTables' |
R-dtplyr (V) | | Data Table Back-End for 'dplyr' |
R-e1071 | | Misc Functions of the Department of Statistics (e1071), TU Wien |
R-easySVG (V) | | Easy SVG Basic Elements Generator |
R-effects (V) | | Effect displays for linear, generalized linear, and other models |
R-elevatr (V) | | Access elevation data from various APIs |
R-ellipsis | | Collection of functions to catch problems and alert the user |
R-emdbook | | Support functions and data for Ecological Models and Data |
R-energy | | E-statistics: multivariate inference via the energy of data |
R-entropy (V) | | Estimation of Entropy, Mutual Information and Related Quantities |
R-estimability | | Tools for assessing estimability of linear predictions |
R-fansi (V) | | ANSI control sequence aware string functions |
R-farver (V) | | High Performance Colour Space Manipulation |
R-fAsianOptions (V) | | Functions for pricing and valuating Asian options |
R-fastmap (V) | | Fast Data Structures |
R-fastmatch | | Fast 'match()' Function |
R-fBasics (V) | | Markets and basic statistics |
R-ff (V) | | Fast Access Functions for Large Data on Disk |
R-filelock (V) | | Portable File Locking |
R-fitdistrplus (V) | | Fit a Parametric Distribution to Non-Censored or Censored Data |
R-FNN | | Fast nearest neighbor search algorithms and applications |
R-fontawesome (V) | | Easily Work with 'Font Awesome' Icons |
R-fOptions (V) | | Markets and basic statistics |
R-forcats | | Tools for working with categorical variables (factors) |
R-foreach (V) | | Provides Foreach Looping Construct |
R-forecast | | Forecasting functions for time series and linear models |
R-Formula | | Extended model formulas |
R-fracdiff | | Fractionally differenced ARIMA aka ARFIMA(p,d,q) models |
R-fs (V) | | Cross-platform file system operations based on 'libuv' |
R-furrr (V) | | Apply mapping functions in parallel using futures |
R-future (V) | | Unified parallel and distributed processing in R |
R-gargle (V) | | Utilities for Working with Google APIs |
R-gdata | | Various R programming tools for data manipulation |
R-generics | | Common S3 Generics not Provided by Base R Methods Related to Model Fitting |
R-genetics | | Classes and methods for handling genetic data |
R-geoR | | Analysis of geostatistical data |
R-geosphere (V) | | Spherical Trigonometry |
R-gert (V) | | Simple Git Client for R |
R-getopt (V) | | C-Like 'getopt' Behavior |
R-getPass (V) | | Masked User Input |
R-ggExtra (V) | | Add marginal histograms to 'ggplot2', and more 'ggplot2' enhancements |
R-ggplot2 (V) | | Create elegant data visualisations using the grammar of graphics |
R-ggspatial (V) | | Spatial Data Framework for ggplot2 |
R-ggtern (V) | | Extension to 'ggplot2', for the creation of ternary diagrams |
R-ggthemes (V) | | Extra Themes, Scales and Geoms for 'ggplot2' |
R-gh (V) | | GitHub API |
R-git2r (V) | | Provides access to Git repositories |
R-gitcreds (V) | | Query 'git' Credentials from 'R' |
R-globals (V) | | Identify Global Objects in R Expressions |
R-glue (V) | | Interpreted string literals |
R-gmp (V) | | Multiple Precision Arithmetic for R |
R-goftest | | Classical Goodness-of-Fit Tests for Univariate Distributions |
R-googledrive (V) | | Interface to Google Drive |
R-googlesheets4 | | Access Google Sheets using the Sheets API V4 |
R-GPArotation | | Gradient Projection Factor Rotation |
R-graph (V) | | R package to handle graph data structures |
R-GRASS | | Interface between GRASS 5.0 geographical information system and R |
R-gridExtra (V) | | Miscellaneous functions for grid graphics |
R-gsl | | R wrapper for the Gnu Scientific Library |
R-gss | | General smoothing splines |
R-gstat | | Spatial & spatio-temporal modelling, prediction and simulation |
R-gsubfn (V) | | Utilities for strings and function arguments |
R-gtable | | Arrange 'Grobs' in tables |
R-gtools | | Various R programming tools |
R-haven (V) | | Import and export 'SPSS', 'Stata' and 'SAS' files |
R-here (V) | | Simpler Way to Find Your Files |
R-hexbin | | Hexagonal Binning Routines |
R-Hmisc (V) | | Harrell miscellaneous |
R-hms (V) | | Pretty time of day |
R-htmlTable (V) | | Advanced tables for Markdown/HTML |
R-htmltools (V) | | Tools for HTML |
R-htmlwidgets (V) | | HTML widgets for R |
R-httpcode (V) | | 'HTTP' status code helper |
R-httpRequest | | Basic HTTP request |
R-httpuv (V) | | HTTP and WebSocket server library |
R-httr (V) | | Tools for working with URLs and HTTP |
R-httr2 (V) | | Perform HTTP Requests and Process the Responses |
R-hunspell (V) | | High-Performance Stemmer, Tokenizer, and Spell Checker |
R-hwde | | Models and tests for departure from Hardy-Weinberg equilibrium |
R-ids | | Generate Random Identifiers |
R-igraph | | Network analysis and visualization |
R-ini (V) | | Read and write '.ini' files |
R-inline (V) | | Functions to inline C, C++, Fortran function calls from R |
R-insight | | Easy Access to Model Information for Various Model Objects |
R-interp (V) | | Interpolation Methods |
R-intervals | | Tools for working with points and intervals |
R-IRdisplay (V) | | Jupyter display machinery |
R-IRkernel (V) | | Native R kernel for the Jupyter notebook |
R-ISLR | | Data for the ISLR book |
R-isoband (V) | | Generate Isolines and Isobands from Regularly Spaced Elevation Grids |
R-ISwR | | Data sets and scripts for 'Introductory Statistics with R' |
R-iterators (V) | | Provides iterator construct |
R-itertools | | Iterator Tools |
R-jose (V) | | JavaScript Object Signing and Encryption |
R-jpeg (V) | | Read and write JPEG images |
R-jquerylib (V) | | Obtain 'jQuery' as an HTML Dependency Object |
R-jsonlite (V) | | Robust, high performance JSON parser and generator for R |
R-labeling (V) | | Axis labeling |
R-lars | | Least Angle Regression, Lasso and Forward Stagewise |
R-later (V) | | Utilities for delaying function execution |
R-latex2exp (V) | | Use LaTeX expressions in plots |
R-lazyeval (V) | | Lazy (non-standard) evaluation |
R-LearnBayes | | Functions for Learning Bayesian Inference |
R-lifecycle (V) | | Manage the Life Cycle of your Package Functions |
R-lintr (V) | | 'Linter' for R Code |
R-listenv (V) | | Environments behaving (almost) as lists |
R-lme4 | | Linear mixed-effects models using Eigen and S4 |
R-lmm | | Linear mixed models |
R-lmtest | | Testing linear regression models |
R-lpSolve (V) | | Interface to 'Lp_solve' v. 5.5 to Solve Linear/Integer Programs |
R-lsei (V) | | Solving Least Squares under Equality/Inequality Constraints |
R-lubridate (V) | | Make Dealing with Dates a Little Easier |
R-lwgeom (V) | | Bindings to Selected 'liblwgeom' Functions for Simple Features |
R-magick (V) | | Advanced Graphics and Image-Processing in R |
R-magrittr (V) | | Forward-pipe operator for R |
R-manipulateWidget (V) | | Add Even More Interactivity to Interactive Charts |
R-mapdata (V) | | Extra Map Databases |
R-mapproj | | Map projections |
R-maptools (V) | | Tools for handling spatial objects |
R-marmap (V) | | Import, plot and analyze bathymetric and topographic data |
R-mathjaxr (V) | | Using 'Mathjax' in Rd Files |
R-MatrixModels | | Modelling with sparse and dense matrices |
R-mclust | | Gaussian Mixture Modelling for Model-Based Clustering, Classification, and Density Estimation |
R-memoise (V) | | Memoisation of functions |
R-microbenchmark (V) | | Accurate Timing Functions |
R-miniUI (V) | | Shiny UI widgets for small screens |
R-minqa | | Derivative-free optimization algorithms by quadratic approximation |
R-mitools | | Tools for multiple imputation of missing data |
R-mlbench (V) | | Machine Learning Benchmark Problems |
R-mnormt | | Multivariate normal and t distributions |
R-mockery (V) | | Mocking Library for R |
R-mockr (V) | | Mocking in R |
R-modelr | | Modelling Functions that Work with the Pipe |
R-moonsun | | Basic astronomical calculations with R |
R-mpfr (V) | | Multiple Precision Floating Point Arithmetic for R |
R-munsell (V) | | Utilities for using Munsell colours |
R-mvtnorm | | Multivariate normal and t distributions |
R-MySQL (V) | | R interface for MySQL |
R-nanotime (V) | | Nanosecond-Resolution Time Support for R |
R-ncdf | | High-level R interface to Unidata's netCDF data files |
R-ncdf4 | | Interface to Unidata netCDF (Version 4 or Earlier) Format Data Files |
R-nimble | | MCMC, Particle Filtering, and Programmable Hierarchical Modeling |
R-nloptr | | R interface to NLopt |
R-nortest | | Tests for normality |
R-np (V) | | Nonparametric Kernel Smoothing Methods for Mixed Data Types |
R-npsurv (V) | | Nonparametric Survival Analysis |
R-numDeriv | | Accurate numerical derivatives |
R-oai (V) | | General purpose 'Oai-PMH' services client |
R-openssl (V) | | Toolkit for encryption, signatures and certificates based on OpenSSL |
R-openxlsx (V) | | Read, write and edit XLSX files |
R-optparse (V) | | Command Line Option Parser |
R-oskeyring (V) | | Raw System Credential Store Access from R |
R-osmar (V) | | OpenStreetMap and R |
R-osmdata (V) | | Import 'OpenStreetMap' Data as Simple Features or Spatial Objects |
R-pak (V) | | Another Approach to Package Installation |
R-parallelly (V) | | Enhancing the 'parallel' Package |
R-patrick (V) | | Parameterized Unit Testing |
R-pbdZMQ (V) | | Interface to ZeroMQ |
R-pbkrtest | | Parametric bootstrap & Kenward Roger based methods for mixed model comparison |
R-pcaPP | | Robust PCA by Projection Pursuit |
R-PHYLOGR | | Functions for phylogenetically based statistical analyses |
R-pillar (V) | | Coloured formatting for columns |
R-pingr (V) | | Check if a Remote Computer is Up |
R-pixmap | | Functions for manipulations of bitmaps with R |
R-pkgbuild (V) | | Find tools needed to build R packages |
R-pkgcache (V) | | Cache 'CRAN'-Like Metadata and R Packages |
R-pkgconfig (V) | | Private configuration for R packages |
R-pkgdepends (V) | | Package Dependency Resolution and Downloads |
R-pkgdown (V) | | Make Static HTML Documentation for a Package |
R-pkgKitten (V) | | Create Simple Packages Which Do not Upset R Package Checks |
R-pkgload (V) | | Simulate package installation and attach |
R-pkgsearch (V) | | Search and Query CRAN R Packages |
R-plogr (V) | | The 'plog' C++ logging library |
R-pls | | Partial Least Squares and Principal Component Regression |
R-plyr | | Tools for splitting, applying and combining data |
R-png (V) | | Read and write PNG images |
R-polyclip (V) | | Polygon Clipping |
R-popbio (V) | | Construction and Analysis of Matrix Population Models |
R-poweRlaw | | Analysis of heavy tailed distributions |
R-pracma | | Practical Numerical Math Functions |
R-praise (V) | | Praise users |
R-prettycode (V) | | Pretty Print R Code in the Terminal |
R-prettymapr (V) | | Scale Bar, North Arrow, and Pretty Margins in R |
R-prettyunits | | Pretty, human readable formatting of quantities |
R-prob | | Elementary probability on finite sample spaces |
R-processx (V) | | Execute and control system processes |
R-profmem (V) | | Simple Memory Profiling for R |
R-profvis (V) | | Interactive Visualizations for Profiling R Code |
R-progress (V) | | Terminal progress bars |
R-progressr (V) | | An inclusive, unifying API for progress updates |
R-PROJ (V) | | Generic Coordinate System Transformations Using 'PROJ' |
R-proj4 (V) | | Simple interface to the PROJ.4 cartographic projections library |
R-promises (V) | | Abstractions for promise-based asynchronous programming |
R-proto (V) | | Prototype object-based programming |
R-proxy | | Distance and Similarity Measures |
R-ps (V) | | List, query, manipulate system processes |
R-psych | | Procedures for psychological and psychometric research |
R-purrr (V) | | Functional programming tools |
R-quadprog | | Functions to solve quadratic programming problems |
R-quantmod (V) | | Quantitative financial modelling framework |
R-quantreg | | Quantile regression |
R-R.methodsS3 (V) | | S3 Methods Simplified |
R-R.oo (V) | | R Object-Oriented Programming with or without References |
R-R.utils (V) | | Various Programming Utilities |
R-R2HTML | | HTML exportation for R objects |
R-R6 (V) | | Encapsulated classes with reference semantics |
R-ragg (V) | | Graphic Devices Based on AGG |
R-randomForest | | Breiman and Cutler's Random Forests for Classification and Regression |
R-rappdirs (V) | | Application Directories: Determine Where to Save Data, Caches, and Logs |
R-RArcInfo | | Functions to import data from Arc/Info V7.x binary coverages |
R-raster (V) | | Geographic Data Analysis and Modeling |
R-rbenchmark (V) | | Benchmarking routine for R |
R-rbibutils (V) | | Read 'Bibtex' Files and Convert Between Bibliography Formats |
R-rcmdcheck (V) | | Run 'R CMD check' from 'R' and capture results |
R-Rcmdr | | Platform-independent basic-statistics GUI for R |
R-RcmdrMisc | | R Commander miscellaneous functions |
R-RColorBrewer | | ColorBrewer palettes |
R-RcppArmadillo | | Rcpp integration for the Armadillo templated linear algebra library |
R-RcppCCTZ (V) | | 'Rcpp' Bindings for the 'CCTZ' Library |
R-RcppDate (V) | | 'date' C++ Header Library for Date and Time Functionality |
R-RcppEigen | | Rcpp integration for the Eigen templated linear algebra library |
R-RcppTOML (V) | | 'Rcpp' Bindings to Parser for Tom's Obvious Markup Language |
R-RCurl (V) | | General Network (HTTP/FTP/...) Client Interface for R |
R-Rdpack (V) | | Update and Manipulate Rd Documentation Objects |
R-readr (V) | | Read rectangular text data |
R-readstata13 (V) | | Import 'Stata' data files |
R-readxl (V) | | Read Excel files |
R-relimp | | Relative contribution of effects in a regression model |
R-rematch (V) | | Match regular expressions with a nicer API |
R-rematch2 (V) | | Tidy Output from Regular Expression Matching |
R-remotes (V) | | R package installation from remote repositories, including 'GitHub' |
R-renv (V) | | Project Environments |
R-repr (V) | | Serializable representations |
R-reprex (V) | | Prepare Reproducible Example Code via the Clipboard |
R-reproj (V) | | Coordinate System Transformations for Generic Map Data |
R-repurrrsive | | Examples of Recursive Lists and Nested or Split Data Frames |
R-reshape2 | | Flexibly reshape data: a reboot of the reshape package |
R-rex (V) | | Friendly Regular Expressions |
R-rgbif (V) | | Interface to the Global Biodiversity Information Facility API |
R-rgdal (V) | | Bindings for the 'Geospatial' Data Abstraction Library |
R-rgeos (V) | | Interface to Geometry Engine - Open Source ('GEOS') |
R-rgl (V) | | 3D Visualization Using OpenGL |
R-Rgraphviz (V) | | Plotting capabilities for R graph objects |
R-rio (V) | | Swiss-army knife for data I/O |
R-rjson (V) | | JSON for R |
R-rlang (V) | | Functions for base types and core R and 'Tidyverse' features |
R-rmarkdown (V) | | Dynamic Documents for R |
R-rnaturalearth (V) | | World Map Data from Natural Earth |
R-rnaturalearthdata (V) | | World Vector Map Data from Natural Earth Used in 'rnaturalearth' |
R-rnaturalearthhires (V) | | High Resolution World Vector Map Data from Natural Earth |
R-RNetCDF | | Interface to NetCDF datasets |
R-robustbase | | Basic robust statistics |
R-rosm (V) | | Plot Raster Map Tiles from Open Street Map and Other Sources |
R-roxygen2 (V) | | In-line documentation for R |
R-RPostgreSQL | | R interface to the PostgreSQL database system |
R-rprojroot (V) | | Finding files in project subdirectories |
R-Rserve (V) | | TCP/IP server which allows other programs to use facilities of R |
R-RSQLite (V) | | 'SQLite' interface for R |
R-rstudioapi | | Safely access the RStudio API |
R-RUnit (V) | | R functions implementing a standard Unit Testing framework |
R-rversions (V) | | Query 'R' Versions, Including 'r-release' and 'r-oldrel' |
R-rvest (V) | | Easily Harvest (Scrape) Web Pages |
R-s2 (V) | | Spherical Geometry Operators Using the S2 Geometry Library |
R-sandwich | | Robust covariance matrix estimators |
R-sass (V) | | Syntactically Awesome Style Sheets ('Sass') |
R-scales (V) | | Scale functions for visualization |
R-selectr (V) | | Translate CSS Selectors to XPath Expressions |
R-sessioninfo (V) | | R session information |
R-sets | | Sets, Generalized Sets, Customizable Sets and Intervals |
R-sf (V) | | Simple Features for R |
R-sftime (V) | | Classes and Methods for Simple Feature Objects that Have a Time Column |
R-sgeostat | | Object-oriented framework for geostatistical modeling in S+ |
R-shapefiles | | Read and write ESRI shapefiles |
R-shiny (V) | | Web application framework for R |
R-shinyjs (V) | | Easily improve the user experience of your Shiny apps in seconds |
R-signal (V) | | Signal Processing |
R-slam | | Sparse Lightweight Arrays and Matrices |
R-slippymath (V) | | Slippy map tile tools |
R-sodium (V) | | Modern and Easy-to-Use Crypto Library |
R-som | | Self-Organizing Map |
R-sourcetools (V) | | Tools for reading, tokenizing and parsing R code |
R-sp | | Classes and methods for spatial data |
R-spacetime | | Classes and methods for spatio-temporal data |
R-SparseM | | Sparse linear algebra |
R-spatstat (V) | | Spatial Point Pattern Analysis, Model-Fitting, Simulation, Tests |
R-spatstat.data (V) | | Datasets for 'spatstat' |
R-spatstat.explore (V) | | Exploratory Data Analysis for the 'spatstat' Family |
R-spatstat.geom (V) | | Geometrical Functionality of the 'spatstat' Family |
R-spatstat.linnet (V) | | Linear Networks Functionality of the 'spatstat' Family |
R-spatstat.model (V) | | Parametric Statistical Modelling & Inference for the 'spatstat' |
R-spatstat.random (V) | | Random Generation Functionality for the 'spatstat' Family |
R-spatstat.sparse (V) | | Sparse Three-Dimensional Arrays and Linear Algebra Utilities |
R-spatstat.univar (V) | | One-Dimensional Probability Distribution Support for the 'spatstat' Family |
R-spatstat.utils (V) | | Utility Functions for 'spatstat' |
R-spData (V) | | Datasets for Spatial Analysis |
R-spelling (V) | | Tools for Spell Checking in R |
R-splancs | | Spatial and space-time point pattern analysis |
R-sqldf (V) | | Manipulate R data frames using SQL |
R-stabledist | | Stable distribution functions |
R-stars (V) | | Spatiotemporal Arrays, Raster and Vector Data Cubes |
R-stat.extend | | Highest Density Regions and Other Functions of Distributions |
R-statmod | | Statistical modeling |
R-stringdist | | Approximate String Matching and String Distance Functions |
R-stringi (V) | | Character string processing facilities |
R-survey | | Analysis of complex survey samples |
R-sys (V) | | Powerful and reliable tools for running system commands in R |
R-systemfonts (V) | | System Native Font Finding |
R-tcltk2 (V) | | Tcl/Tk additions |
R-tensor | | Tensor product of arrays |
R-tensorA | | Advanced tensor arithmetic with named indices |
R-terra (V) | | Spatial Data Analysis |
R-testit (V) | | Simple Package for Testing R Packages |
R-testthat (V) | | Unit testing for R |
R-textshaping (V) | | Bindings to the 'HarfBuzz' and 'Fribidi' Libraries for Text Shaping |
R-thematic (V) | | Unified & Automatic 'Theming' of 'ggplot2 / lattice / base' R Graphics |
R-tibble | | Simple data frames |
R-tidyr | | Easily tidy data with 'spread()' and 'gather()' functions |
R-tidyselect (V) | | Select from a set of strings |
R-tidyverse (V) | | Easily Install and Load the 'Tidyverse' |
R-timechange (V) | | Efficient Manipulation of Date-Times |
R-timeDate (V) | | Chronological and calendar objects |
R-timeSeries (V) | | Financial time series objects |
R-tinytest (V) | | Lightweight and Feature Complete Unit Testing Framework |
R-tinytex (V) | | Helper Func. to Install & Maintain 'TeX Live' & Compile 'LaTeX' Docs |
R-tkrplot (V) | | TK Rplot |
R-tmvnsim | | Truncated Multivariate Normal Simulation |
R-triebeard (V) | | Radix trees in Rcpp |
R-tseries (V) | | Time series analysis and computational finance |
R-TTR (V) | | Technical trading rules |
R-tuneR (V) | | Analysis of Music and Speech |
R-tzdb (V) | | Time Zone Database Information |
R-unitizer (V) | | Interactive R Unit Tests |
R-units | | Measurement Units for R Vectors |
R-unix (V) | | POSIX System Utilities |
R-urca | | Unit root and cointegration tests for time series data |
R-urlchecker (V) | | Run CRAN URL Checks from Older R Versions |
R-urltools (V) | | Vectorised Tools for URL Handling and Parsing |
R-usethis (V) | | Automate package and project setup |
R-utf8 (V) | | Unicode text processing |
R-uuid (V) | | Tools for generating and handling of UUIDs |
R-vctrs | | Vector helpers |
R-VGAM | | Vector generalized linear and additive models |
R-VGAMdata | | Data Supporting the 'VGAM' Package |
R-VGAMextra | | Additions and Extensions of the 'VGAM' Package |
R-viridis (V) | | Default color maps from 'matplotlib' |
R-viridisLite (V) | | Default color maps from 'matplotlib' (lite version) |
R-vroom (V) | | Read and Write Rectangular Text Data Quickly |
R-waldo (V) | | Find Differences Between R Objects |
R-webfakes (V) | | Fake Web Apps for HTTP Testing |
R-webshot (V) | | Take Screenshots of Web Pages |
R-wellknown (V) | | Convert between 'WKT' and 'GeoJSON' |
R-whisker (V) | | 'mustache' for R, logicless templating |
R-whoami (V) | | Username, Full Name, Email addr. 'GitHub' Username of the Current User |
R-withr (V) | | Run code 'with' temporarily modified global state |
R-wk (V) | | Lightweight well-known geometry parsing |
R-writexl (V) | | Export Data Frames to Excel 'xlsx' Format |
R-xfun (V) | | Miscellaneous functions by 'Yihui Xie' |
R-XML | | Tools for parsing and generating XML within R |
R-xml2 (V) | | Parse XML |
R-xmlparsedata (V) | | Parse Data of 'R' Code as an 'XML' Tree |
R-xopen (V) | | Open system files, 'URLs', anything |
R-xtable | | Export tables to LaTeX or HTML |
R-xts | | eXtensible Time Series |
R-yaml (V) | | Methods to convert R data to YAML and back |
R-zeallot | | Multiple, unpacking, and destructuring assignment |
R-zip (V) | | Cross-platform 'zip' compression |
R-zoo | | S3 infrastructure for regular and irregular time series |
randlib | | Library of C Routines for Random Number Generation |
ranger | | Fast Implementation of Random Forests |
ruby-enumerable-statistics | | Statistics features for Enumerable |
ruby-narray | | N-dimensional Numerical Array class for Ruby |
ruby-roo | | Ruby library to read and write Spreadsheet Documents |
ruby-roo-xls (V) | | Add support for legacy Excel file standards to math/ruby-roo |
ruby-spreadsheet | | Ruby Spreadsheet Library to read and write Spreadsheet Documents |
sc | | Curses-based spreadsheet program |
sc-im | | Curses-based spreadsheet program based on sc |
scalapack | | Scalable Linear Algebra PACKage |
scilab | | High-level scientific math programming environment with graphics |
siag (V) | | Poor man's office suite with spreadsheet, word processor, etc |
simgrid (V) | | Simulator of distributed applications |
slatec | | Library of mathematical and statistical Fortran 77 subroutines |
smath-studio | | Tiny, powerful, free mathematical program with WYSIWYG editor |
snns | | Software simulator for neural networks |
sollya | | Environment and library for safe floating-point code development |
speedcrunch | | Calculator |
stan-math | | Stan Math library |
statist | | Small and portable statistics program |
suitesparse | | Set of packages for sparse matrices calculation |
sundials | | Suite of nonlinear and differential/algrbraic equation solvers |
superlfv (V) | | Calculate lepton flavor violating observables |
superlu | | Library for solving large, sparse, nonsymmetric systems of linear equations |
svmlin | | Fast Linear SVM Solvers for Supervised and Semi-supervised Learning |
tasp-vsipl | | Vector Signal Image Processing Library |
teapot | | Curses based spread sheet program |
tex-apnum | | Arbitrary precision numbers implemented by TeX macros |
tex-apnum-doc | | Documentation for tex-apnum |
tex-fp | | Fixed point arithmetic |
tex-fp-doc | | Documentation for tex-fp |
tex-japanese-mathformulas | | Compiling basic math formulas in Japanese using LuaLaTeX |
tex-japanese-mathformulas-doc | | Documentation for tex-japanese-mathformulas |
tex-jpneduenumerate | | Enumerative expressions in Japanese education |
tex-jpneduenumerate-doc | | Documentation for tex-jpneduenumerate |
tex-jpnedumathsymbols | | Mathematical equation representation in Japanese education |
tex-jpnedumathsymbols-doc | | Documentation for tex-jpnedumathsymbols |
tex-kastrup | | Expansible conversion into binary-based number systems |
tex-kastrup-doc | | Documentation for tex-kastrup |
tex-lualatex-math | | Fixes for mathematics-related LuaLaTeX issues |
tex-lualatex-math-doc | | Documentation for tex-lualatex-math |
tex-mathpartir | | Typesetting sequences of math formulas, e.g. type inference rules |
tex-mathpartir-doc | | Documentation for tex-mathpartir |
tex-mathspec | | Specify arbitrary fonts for mathematics in XeTeX |
tex-mathspec-doc | | Documentation for tex-mathspec |
tex-minifp | | Fixed-point real computations to 8 decimals |
tex-minifp-doc | | Documentation for tex-minifp |
tex-physics | | Macros supporting the Mathematics of Physics |
tex-physics-doc | | Documentation for tex-physics |
tex-tikz-cd (V) | | Create commutative diagrams with TikZ |
tex-tikz-cd-doc (V) | | Documentation for tex-tikz-cd |
tex-unicode-math | | Unicode mathematics support for XeTeX and LuaTeX |
tex-unicode-math-doc | | Documentation for tex-unicode-math |
tex-zhnumber | | Typeset Chinese representations of numbers |
tex-zhnumber-doc | | Documentation for tex-zhnumber |
texdrive | | Emacs mode for creating inline formulae for HTML |
TinySVM | | Tiny Support Vector Machines |
tochnog | | Finite Element Analysis Program |
udunits | | Library and program for manipulating units of physical quantities |
units | | GNU Units - a calculator capable of performing unit conversions |
vista | | Visual statistics system |
volk | | The Vector Optimized Library of Kernels |
vowpal_wabbit | | Vowpal Wabbit is a machine learning system |
wxmathplot | | wxWidgets add-on for easy 2D plotting |
wxmaxima | | Graphical UI for maxima |
xeukleides10 | | X-Frontend for A Euclidean geometry drawing language |
xfractint | | Fractint for X11 |
xgap | | GUI for GAP |
xldlas | | XForms-based statistics package |
xlife | | John Horton Conway's Game of Life |
xlispstat | | Statistics/X11-based LISP interpreter |
xmgr | | Powerful XY plotting tool for workstations or X-terminals using X |
xylib | | Library for reading powder diffraction data |
yacas | | Yet Another Computer Algebra System |
yices2 | | Yices 2 SMT solver |
yorick | | Numerical algebra system (similar to Matlab) |
z3 | | The Z3 theorem prover / SMT solver |